function is continuous proof